<HTML><HEAD><TITLE>library(shadow_cons)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(shadow_cons)</H1>
A library implementing shadow, or 'local', constraint stores
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="shadow_call-2.html"><STRONG>shadow_call(+StoreName, ?Goal)</STRONG></A></DT>
<DD>       Invokes a constraint on (the shadow variables of) a shadow constraint store.</DD>
<DT><A HREF="shadow_var-3.html"><STRONG>shadow_var(?Var, +StoreName, -ShadowVar)</STRONG></A></DT>
<DD>Finds the shadow variable associated with the input
	variable in the specified shadow constraint store.  If none
	exists, it creates one.</DD>
</DL>
</BLOCKQUOTE>
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Mark Wallace, IC-Parc and ICL
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems, Inc.
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 05:45:20 $
</UL>
<HR>Generated from shadow_cons.eci on 2009-05-27 01:25
</BODY></HTML>
